9,725 research outputs found
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Safety of medical devices and of their interoperation is an unresolved issue
causing severe and sometimes deadly accidents for patients with shocking
frequency. Formal methods, particularly in support of highly reusable and
provably safe patterns which can be instantiated to many device instances can
help in this regard. However, this still leaves open the issue of how to pass
from their formal specifications in logical time to executable emulations that
can interoperate in physical time with other devices and with simulations of
patient and/or doctor behaviors. This work presents a specification-based
methodology in which virtual emulation environments can be easily developed
from formal specifications in Real-Time Maude, and can support interactions
with other real devices and with simulation models. This general methodology is
explained in detail and is illustrated with two concrete scenarios which are
both instances of a common safe formal pattern: one scenario involves the
interaction of a provably safe pacemaker with a simulated heart; the other
involves the interaction of a safe controller for patient-induced analgesia
with a real syringe pump.Comment: In Proceedings RTRTS 2010, arXiv:1009.398
The eigenvalue problem for natural frequency of uniform beam with linearly varying axial load
Call number: LD2668 .R4 1968 S
Nonlinearly combined impacts of initial perturbation from human activities and parameter perturbation from climate change on the grassland ecosystem
Human activities and climate change are important factors that affect grassland ecosystems. A new optimization approach, the approach of conditional nonlinear optimal perturbation (CNOP) related to initial and parameter perturbations, is employed to explore the nonlinearly combined impacts of human activities and climate change on a grassland ecosystem using a theoretical grassland model. In our study, it is assumed that the initial perturbations and parameter perturbations are regarded as human activities and climate change, respectively. Numerical results indicate that the climate changes causing the maximum effect in the grassland ecosystem are different under disparate intensities of human activities. This implies the pattern of climate change is very critical to the maintenance or degradation of grassland ecosystem in light of high intensity of human activities and that the grassland ecosystem should be rationally managed when the moisture index decreases. The grassland ecosystem influenced by the nonlinear combination of human activities and climate change undergoes abrupt change, while the grassland ecosystem affected by other types of human activities and climate change fails to show the abrupt change under a certain range of perturbations with the theoretical model. The further numerical analyses also indicate that the growth of living biomass and the evaporation from soil surface shaded by the wilted biomass may be crucial factors contributing to the abrupt change of the grassland equilibrium state within the theoretical model
- …